síntese atómica - translation to
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

síntese atómica - translation to

Formula atomica; Variável proposicional; Átomo (lógica); Proposição atômica; Fórmula atomica

síntese         
PÁGINA DE DESAMBIGUAÇÃO DA WIKIMEDIA
Sintese; Sínteses
{f}
- синтез
síntese         
PÁGINA DE DESAMBIGUAÇÃO DA WIKIMEDIA
Sintese; Sínteses
синтез
física atômica         
  • Diagrama de Linus Pauling]]
- (яд. физ.) атомная физика

Ορισμός

Síntese
f.
Operação química, com que se reúnem corpos simples, para formar corpos compostos, ou com que se reúnem corpos compostos para formar outros de composição mais complexa.
Processo filosófico, com que se desce dos princípios às consequências, e das causas aos efeitos.
Quadro, que expõe o conjunto de uma ciência.
Resenha literária ou científica.
Demonstração matemática das proposições, pela simples dedução das que estão já provadas.
Operação cirúrgica, com que se reúnem ou se restituem ao estado primitivo as partes deslocadas ou separadas.
Organização mental de um sistema.
Figura gramatical, o mesmo que "silepse".
Entre os antigos, era uma espécie de clâmide ou rocló que, nos banquetes, se vestia sôbre o vestuário comum, para que êste se não enodoasse.
(Lat. "sinthesis")

Βικιπαίδεια

Fórmula atômica

Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.

A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo. Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.